DUGi: Llistar Títols | (dc.creator:"Suy Franch, Josep" OR dc.contributor:"Suy Franch, Josep" OR dc.contributor.other:"Suy Franch, Josep") | 25 - 31

Llistar Títols

S'han trobat 31 ítems

Llistant ítems des de 25 a 31:

1 2

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	2012	Solving constraint satisfaction problems with SAT modulo theories	Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
		Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	1 gener 2013	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
	juny 2003	Traductor de pseudocodi a Java	Royán Salvatella, Carles
		Traductor de pseudocodi a Java	Royán Salvatella, Carles

1 2

Matèries

CSP (Computer program language) CSP (Llenguatge de programació) Dogs -- Breeding Intranets (Xarxes d’ordinadors) Lògica matemàtica Constraint programming 004 - Informàtica

Autors

Suy Franch, Josep Bofill Arasa, Miquel Palahí i Sitges, Miquel Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Marzo i Lázaro, Josep Lluís Soler i Masó, Josep Universitat de Girona. Departament d’Informàtica i Matemàtica Aplicada